#include <uart.h>

void kernel_main(void)
{
	uart_init();
    char *message = "Welcome RISC-V!\n";
	for (int i = 0; i < 16; i++) {
        uart_send(message[i]);
    }
    
	while (1) {;}
}
